МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА» Кафедра автоматизованих систем управління / Звіт До лабораторної роботи №1-2 з дисципліни “ Технології створення програмного продукту ” на тему «Розробка програмного продукту. Етап формулювання вимог та побудова моделі»  Мета: Ознайомлення з основними задачами, які необхідно розв’язати під час виконання етапу формулювання вимог та побудови моделі. Завдання: Навчитись реалізовувати етап формулювання вимог та побудови моделі при розробці програмного продукту комп’ютерних систем. Порядок роботи 1 .Теоретична частина. 2.Індивідуальне завдання. 3. Постановка завдання. 4. Поступове виконання завдання безпосереднім формулюванням вимог та побудовою моделі. 1. Теоретична частина Оскільки довільне ПЗ по суті являє собою алгоритм, записаний мовою, зрозумілою для комп'ютера, то програма має всі властивості, характерні для алгоритмів. Але програма є конкретною реалізацією алгоритму, призначеною для практичного використання, і властивості програм розглядають саме з цієї точки зору. Можна виділяти такі вимоги до програм: 1. Правильність. Програма повинна видавати правильні результати для будь-яких даних зі заздалегідь визначеного допустимого діапазону. Якщо програма є достатньо складною, навіть найбільш кваліфікований програміст навряд чи зможе з першого разу написати її без помилок. Ці помилки можуть бути найрізноманітніші: від суто механічних (забув поставити крапку з комою) до неналежного використання програмних конструкцій або навіть помилок в самому алгоритмі. Загальноприйнятою є така класифікація програмних помилок: синтаксичні, які пов'язані з порушенням формальних граматичних правил написання програм. Синтаксичні помилки виявляються на етапі компіляції; помилки часу виконання. Ці помилки знову ж таки поділяються на такі категорії: аварійні зупинки. Пов'язані з операціями, які неможливо виконати (ділення на нуль, звернення до неіснуючих файлів тощо). У таких випадках програма зупиняється; програма не доходить до кінця. Вона працює нескінченно довго або зависає; програма видає неправильні результати. Помилки повинні бути виявлені та виправлені (цей процес називається відлагодженням). Крім того, необхідно переконатися на деяких тестових прикладах що програма працює правильно (цей процес називається тестуванням). Відомо, що саме на відлагодження і тестування припадає левова частка роботи над програмою. Деякі приховані помилки так і залишаються невиправленими і час від часу проявляють себе уже в процесі експлуатації програми. Це можуть бути несподівані повідомлення на екрані, зависання і т.п. Але наслідки програмних помилок можуть бути і значно серйознішими. Відповідальність за виявлення і знешкодження помилок повністю лежить на авторах розробки. 2. Ефективність. Програма повинна видавати результати за прийнятний час і не бути надто ресурсомісткою. Різні програми, які призначені для вирішення однієї й тієї самої задачі, можуть мати різну ефективність і за інших рівних умов природно надавати перевагу більш ефективній програмі. 3. Надійність. Користувач повинен довіряти програмі і не боятися її використовувати. Надійна програма повинна бути правильною; якщо ж залишаються помилки, то вони не повинні призводити до серйозних проблем. Самої лише правильності програми замало. Якщо користувач вводить неправильні дані, програма повинна повідомити його про це. Якщо програма сприймає неправильні дані і видає неправильні результати - це набагато гірше, ніж якщо вона взагалі не працює. За будь-яких умов використання програми не повинно призводити до фатальних, невиправних або важко виправних наслідків. 4. Універсальність. Програма повинна бути розрахована на широкий діапазон вхідних даних і при можливості - на широкий спектр задач. 5. Функціональність. Програма повинна забезпечувати всі основні потреби користувача і не реалізовувати можливостей, що є для нього непотрібними. 6. Зручність у використанні. Програма повинна бути зручною в засвоєнні і ви...